Interval Methods for Model Qualification: Methodology and Advanced Application

Interval Methods for Model Qualification: Methodology and Advanced Application

It is often too complex to use, and sometimes impossible to obtain, an actual model in simulation or command eld . To handle a system in practice, a simpli cation of the real model is then necessary. This simpli cation goes through some hypotheses made on the system or the modeling approach. In this paper, we deal with all models that can be expressed by real-valued variables involved in analyt...

an application of equilibrium model for crude oil tanker ships insurance futures in iran

با توجه به تحریم های بین المملی علیه صنعت بیمه ایران امکان استفاده از بازارهای بین المملی بیمه ای برای نفتکش های ایرانی وجود ندارد. از طرفی از آنجایی که یکی از نوآوری های اخیر استفاده از بازارهای مالی به منظور ریسک های فاجعه آمیز می باشد. از اینرو در این پایان نامه سعی شده است با استفاده از این نوآوری ها با طراحی اوراق اختیارات راهی نو جهت بیمه گردن نفت کش های ایرانی ارائه نمود. از آنجایی که بر...

A new methodology for deriving the efficient frontier of stocks portfolios: An advanced risk-return model

In this paper after a general literature review on the concept of Efficient Frontier (EF), an important inadequacy of the Variance based models for deriving EFs and the high necessity for applying another risk measure is exemplified. In this regard for this study the risk measure of Lower Partial Moment of the first order is decided to replace Variance. Because of the particular shape of the pr...

islanding detection methods for microgrids

امروزه استفاده از منابع انرژی پراکنده کاربرد وسیعی یافته است . اگر چه این منابع بسیاری از مشکلات شبکه را حل می کنند اما زیاد شدن آنها مسائل فراوانی برای سیستم قدرت به همراه دارد . استفاده از میکروشبکه راه حلی است که علاوه بر استفاده از مزایای منابع انرژی پراکنده برخی از مشکلات ایجاد شده توسط آنها را نیز منتفی می کند . همچنین میکروشبکه ها کیفیت برق و قابلیت اطمینان تامین انرژی مشترکان را افزایش ...

Formal Methods Tool Qualification